In this paper we investigate Accardi's claim that the "quantum paradoxes" have their roots in probability theory and that, in particular, they can be evaded by giving up Bayes' rule, concerning the relation between composite and conditional probabilities. We reach the conclusion that, although it may be possible to give up Bayes' rule and define conditional probabilities differently, this contributes nothing to solving the philosophical problems which surround quantum mechanics.

This thought-provoking book discusses the concept of progress in economics and investigates whether any advance has been made in its different spheres of research. The authors look back at the history, successes and failures of their respective fields and thoroughly examine the notion of progress from an epistemological and methodological perspective. The idea of progress is particularly significant as the authors regard it as an essentially contested concept which can be defined in many ways – theoretically or empirically; locally or (...) globally; or as encouraging or impeding the existence of other research traditions. The authors discuss the idea that for progress to make any sense there must be an accumulation of knowledge built up over time rather than the replacement of ideas by each successive generation. Accordingly, they are not concerned with estimating the price of progress, reminiscing in the past, or assessing what has been lost. Instead they apply the complex mechanisms and machinery of the discipline to sub-fields such as normative economics, monetary economics, trade and location theory, Austrian economics and classical economics to critically assess whether progress has been made in these areas of research. -/- Bringing together authoritative and wide-ranging contributions by leading scholars, this book will challenge and engage those interested in philosophy, economic methodology and the history of economic thought. It will also appeal to economists in general who are interested in the advancement of their profession. (shrink)

In this interview with Jan Hendrik van den Berg, the Dutch phenomenologist and psychiatrist addresses the origins of his work, his most significant influences, and the purpose of metabletic phenomenology in the modern age. In the course of the interview. Dr. Van den Berg provides a basic overview of his work, and highlights the central finding of his metabletic analyses: a loss of wonder before nature, which results from the more fundamental loss of genuine spirituality in the modern (...) world. (shrink)

In this paper, we analyse conceptions of induction and certainty in Wolff and Crusius, highlighting their competing conceptions of physics. We discuss (i) the perspective of Wolff, who assigned induction an important role in physics, but argued that physics should be an axiomatic science containing certain statements, and (ii) the perspective of Crusius, who adopted parts of the ideal of axiomatic physics but criticized the scope of Wolff’s ideal of certain science. Against interpretations that take Wolff’s proofs in physics to (...) be based on empirical statements that are probable, we show how inductively established statements, coupled with assumptions concerning the uniformity of nature, can be certain according to Wolff. We examine Crusius’ little known work on physics and show that he attacked Wolff, arguing that many statements of physics are probable. We provide a discussion of the reception of methodological rules similar to Newton’s Regulae Philosophandi, discussing different interpretations of such rules. We conclude by briefly hinting at how the debate between Wolff and Crusius provides historical context for understanding Kant’s philosophy of natural science. (shrink)

Kant is well known for his restrictive conception of proper science. In the present paper I will try to explain why Kant adopted this conception. I will identify three core conditions which Kant thinks a proper science must satisfy: systematicity, objective grounding, and apodictic certainty. These conditions conform to conditions codified in the Classical Model of Science. Kant’s infamous claim that any proper natural science must be mathematical should be understood on the basis of these conditions. In order to substantiate (...) this reading, I will show that only in this way it can be explained why Kant thought (1) that mathematics has a particular foundational function with respect to the natural sciences and (2) as such secures their scientific status. (shrink)

Ernst Mayr argued that the emergence of biology as a special science in the early nineteenth century was possible due to the demise of the mathematical model of science and its insistence on demonstrative knowledge. More recently, John Zammito has claimed that the rise of biology as a special science was due to a distinctive experimental, anti-metaphysical, anti-mathematical, and anti-rationalist strand of thought coming from outside of Germany. In this paper we argue that this narrative neglects the important role played (...) by the mathematical and axiomatic model of science in the emergence of biology as a special science. We show that several major actors involved in the emergence of biology as a science in Germany were working with an axiomatic conception of science that goes back at least to Aristotle and was popular in mid-eighteenth-century German academic circles due to its endorsement by Christian Wolff. More specifically, we show that at least two major contributors to the emergence of biology in Germany—Caspar Friedrich Wolff and Gottfried Reinhold Treviranus—sought to provide a conception of the new science of life that satisfies the criteria of a traditional axiomatic ideal of science. Both C.F. Wolff and Treviranus took over strong commitments to the axiomatic model of science from major philosophers of their time, Christian Wolff and Friedrich Wilhelm Joseph Schelling, respectively. The ideal of biology as an axiomatic science with specific biological fundamental concepts and principles thus played a role in the emergence of biology as a special science. (shrink)

The festive and the quotidian offer two fundamentally different perspectives on the human world. The quotidian attitude opens to us a workaday world structured by mental and physical barriers which require to be leveled or removed. The festive attitude gives access to a world of the threshold in which we play the role of host and guest and in which it is possible for things and living beings to make their personal appearance. Modernity can be understood as an era in (...) which a quotidian, work-oriented attitude was made to dominate and reconfigure all areas of human existence and in which the festive was progressively removed from public, and finally from private life. The renewal of psychology requires a re-understanding and a re-integration of the festive dimension in our lives. (shrink)

In this paper I discuss in what sense physics, chemistry, and the life sciences constitute a systematic unity according to Kant. I start by discussing Christian Wolff’s views on the hierarchy of sciences. I then argue that in one specific sense physics, chemistry and several life sciences constitute a unity: physics and chemistry provide statements that can be used to provide proofs in the life sciences. However, the unity of physics, chemistry, and the life sciences is limited in scope, since (...) Kant claims that the purposeful unity of organisms is mechanically inexplicable. I finally discuss whether there are laws within the life sciences according to Kant. I argue that the fact that Kant acknowledged that physics and chemistry ground the life sciences does not imply that there are laws of life. The reason is that life sciences of Kant’s time were concerned with explaining the purposeful unity of organisms, which is mechanically inexplicable according to Kant, and the regularities discussed by life scientists in Kant’s time lack a priori grounding. (shrink)

We introduce constructive and classical systems for nonstandard arithmetic and show how variants of the functional interpretations due to Gödel and Shoenfield can be used to rewrite proofs performed in these systems into standard ones. These functional interpretations show in particular that our nonstandard systems are conservative extensions of E-HAω and E-PAω, strengthening earlier results by Moerdijk and Palmgren, and Avigad and Helzner. We will also indicate how our rewriting algorithm can be used for term extraction purposes. To conclude the (...) paper, we will point out some open problems and directions for future research, including some initial results on saturation principles. (shrink)

Biology in the Critical Philosophy and the Opus postumum Hein van den Berg. Parts of Chap. 2 have been previously published in Hein van den Berg (2011), “ Kant's Conception of Proper Science.” Synthese 183 (1): 7–26. Parts of Chap.

This paper analyzes debates on animal language in eighteenth-century German philosophy and science. Adopting a history of ideas approach, I explain how the study of animal language became tied to the investigation into the origin and development of language towards the end of the eighteenth century. I argue that for large parts of the eighteenth century, the question of the existence of animal languages was studied within the context of the philosophical question of whether animals possess reason. In Germany, the (...) debate concerning animal reason was influenced by Christian Wolff and was taken up by diverse thinkers such as Winkler, Meier, and Reimarus. I argue that in the second half of the eighteenth century the study of animal language became more loosely related to the question of whether animals possess reason: animal language was studied not only in light of the debate on animal reason but also because it sheds light on the nature of animals, on the differences and similarities between animals and humans, and on the origin and development of language. This systematic study of animal language coincided with the rise of linguistics, anthropology, and biology as independent sciences. (shrink)

This article explains Kant’s claim that sciences must take, at least as their ideal, the form of a ‘system’. I argue that Kant’s notion of systematicity can be understood against the background of de Jong & Betti’s Classical Model of Science (2010) and the writings of Georg Friedrich Meier and Johann Heinrich Lambert. According to my interpretation, Meier, Lambert, and Kant accepted an axiomatic idea of science, articulated by the Classical Model, which elucidates their conceptions of systematicity. I show that (...) Kant’s critique of the mathematical method is compatible with his adherence to this axiomatic conception of science. I further show that systematicity furthers traditionally accepted logical ideals of scientific knowledge, which explains why Meier and Kant think that sciences must be ‘systematic’. (shrink)

Kant’s views on animals have received much attention in recent years. According to some, Kant attributed the capacity for objective perceptual awareness to non-human animals, even though he denied that they have concepts. This position is difficult to square with a conceptualist reading of Kant, according to which objective perceptual awareness requires concepts. Others take Kant’s views on animals to imply that the mental life of animals is a blooming, buzzing confusion. In this article I provide a historical reconstruction of (...) Kant’s views on animals, relating them to eighteenth-century debates on animal cognition. I reconstruct the views of Buffon and Reimarus and show that (i) both Buffon and Reimarus adopted a conceptualist position, according to which concepts structure the cognitive experience of adult humans, and (ii) that both described the mental life of animals as a blooming, buzzing confusion. Kant’s position, I argue, is virtually identical to that of Reimarus. Hence Kant’s views on animals support a conceptualist reading of Kant. The article further articulates the historical antecedents of the Kantian idea that concepts structure human cognitive experience and provides a novel account of how the ideas of similarity and difference were conceptualized in eighteenth-century debates on animal cognition. (shrink)

General theoretical aspects are reviewed of models for microbial growth and endogenous metabolism. The focus is on a generic cell model with two components. Growth is represented as the increase of one of these components (the structural scaffolding or 'frame'). A novel feature of the present generic model is the explicit modelling of (partial) metabolic shutdown under conditions where maintenance requirements cannot be met.Two different approaches to mechanistic underpinnings for the classic models are outlined. The first approach is based on (...) a bimolecular reaction between the non-permanent biomass component and the permanent biomass component. The second approach is based on cellular control systems. (shrink)

We show that Martin Hyland's effective topos can be exhibited as the homotopy category of a path category EFF. Path categories are categories of fibrant objects in the sense of Brown satisfying two additional properties and as such provide a context in which one can interpret many notions from homotopy theory and Homotopy Type Theory. Within the path category EFF one can identify a class of discrete fibrations which is closed under push forward along arbitrary fibrations (in other words, this (...) class is polymorphic or closed under impredicative quantification) and satisfies propositional resizing. This class does not have a univalent representation, but if one restricts to those discrete fibrations whose fibres are propositions in the sense of Homotopy Type Theory, then it does. This means that, modulo the usual coherence problems, it can be seen as a model of the Calculus of Constructions with a univalent type of propositions. We will also build a more complicated path category in which the class of discrete fibrations whose fibres are sets in the sense of Homotopy Type Theory has a univalent representation, which means that this will be a model of the Calculus of Constructions with a univalent type of sets. (shrink)

Within eighteenth-century debates on animal cognition we can distinguish at least three main theoretical positions: (i) Buffon’s mechanism, (ii) Reimarus’ theory of instincts, and (iii) the sensationalism of Condillac and Leroy. In this paper, I adopt a philosophical perspective on this debate and argue that in order to fully understand the justification Buffon, Reimarus, Condillac, and Leroy gave for their respective theories, we must pay special attention to the theoretical virtues these naturalists alluded to while justifying their position. These theoretical (...) virtues have received little to no attention in the literature on eighteenth-century animal cognition, but figure prominently in the justification of the mechanist, instinctive, and sensationalist theories of animal behavior. Through my philosophical study of the role of theoretical virtues in eighteenth-century debates on animal cognition, we obtain a deeper understanding of how theoretical virtues were conceptualized in eighteenth-century science and how they influenced the justification of theories of animal cognition. (shrink)

New means of transport and communication allowed unprecedented mobility of people, goods and ideas in the late nineteenth and early twentieth century, which contributed to far-reaching economic, social and political changes in a first wave of globalisation. In its genuine transnationality, the European historical avant-garde can be seen as a product of this development. Cosmpolitanism, internationality and internationalism became emblems of the avant-garde in its pursuit of a 'new', modern international culture trangressing 'old' borders and limitations dictated by conceptions of (...) nationhood, linguistic restrictions, and state boundaries. Simultaneously, national and nationalist reflexes can be traced in the avant-garde as well - in a European context marked by a plethora of competing nationalisms. This collection of essays focuses on the transnationality and inter-nationalisms in the European avant-garde as well as on conflicts, paradoxes and debates in the avant-garde as genuinely transnational configuration of artistic movements, which possessed nevertheless many nationalist edges. The book presents a panorama of the historical avant-garde oscillating and operating between transnationality, internationalism and nationalisms of different kinds, both in national cultural fields and a transnational European arena - from Iceland to Greece and from the Pale of Settlement to the Atlantic. (shrink)

This paper analyzes Immanuel Kant’s views on mechanical explanation on the basis of Christian Wolff’s idea of scientific demonstration. Kant takes mechanical explanations to explain properties of wholes in terms of their parts. I reconstruct the nature of such explanations by showing how part-whole conceptualizations in Wolff’s logic and metaphysics shape the ideal of a proper and explanatory scientific demonstration. This logico-philosophical background elucidates why Kant construes mechanical explanations as ideal explanations of nature.

We study a new proof principle in the context of constructive Zermelo-Fraenkel set theory based on what we will call “non-deterministic inductive definitions”. We give applications to formal topology as well as a predicative justification of this principle.

In the present paper I investigate the role that analogy plays in eighteenth-century biology and in Kant’s philosophy of biology. I will argue that according to Kant, biology, as it was practiced in the eighteenth century, is fundamentally based on analogical reflection. However, precisely because biology is based on analogical reflection, biology cannot be a proper science. I provide two arguments for this interpretation. First, I argue that although analogical reflection is, according to Kant, necessary to comprehend the nature of (...) organisms, it is also necessarily insufficient to fully comprehend the nature of organisms. The upshot of this argument is that for Kant our understanding of organisms is necessarily limited. Second, I argue that Kant did not take biology to be a proper science because biology was based on analogical arguments. I show that Kant stemmed from a philosophical tradition that did not assign analogical arguments an important justificatory role in natural science. Analogy, according to this conception, does not provide us with apodictically certain cognition. Hence, sciences based on analogical arguments cannot constitute proper sciences. (shrink)

Van den Berg, I.P., Extended use of IST, Annals of Pure and Applied Logic 58 73–92. Internal Set Theory is an axiomatic approach to nonstandard analysis, consisting of three axiom schemes, Transfer , Idealization , and Standardization . We show that the range of application of these axiom schemes may be enlarged with respect to the original formulation. Not only more kinds of formulas are allowed, but also different settings. Many examples illustrate these extensions. Most concern formal aspects of (...) nonstandard asymptotics. (shrink)

This is the first in a series of papers on Predicative Algebraic Set Theory, where we lay the necessary groundwork for the subsequent parts, one on realizability [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory II: Realizability, Theoret. Comput. Sci. . Available from: arXiv:0801.2305, 2008], and the other on sheaves [B. van den Berg, I. Moerdijk, Aspects of predicative algebraic set theory III: Sheaf models, 2008 ]. We introduce the notion of a predicative category (...) with small maps and show that it provides a sound and complete semantics for constructive set theories like IZF and CZF. The main technical contribution of this paper is that it shows in detail that such categories can always be conservatively embedded in categories that are exact. These exactness properties play a crucial rôle in showing that predicative categories with small maps contain models of set theory and that they are closed under sheaves and realizability. We will prove the former statement in this paper as well, leaving a proof of the closure properties to the papers on realizability and sheaves as mentioned above. (shrink)

Kant’s teleology as presented in the Critique of Judgment is commonly interpreted in relation to the late eighteenth-century biological research of Johann Friedrich Blumenbach. In the present paper, I show that this interpretative perspective is incomplete. Understanding Kant’s views on teleology and biology requires a consideration of the teleological and biological views of Christian Wolff and his rationalist successors. By reconstructing the Wolffian roots of Kant’s teleology, I identify several little known sources of Kant’s views on biology. I argue that (...) one of Kant’s main contributions to eighteenth-century debates on biology consisted in demarcating biology from metaphysics. Kant rejected Wolffian views on the hierarchy of sciences, according to which propositions specifying the functions of organisms are derived from theological truths. In addition, Kant argued that organic self-organization necessitates a teleological description in order to show that self-organization does not support materialism. By demarcating biology and metaphysics, Kant made a small yet important contribution to establishing biology as a science. (shrink)

This paper investigates conceptions of explanation, teleology, and analogy in the works of Immanuel Kant (1724-1804) and Georges Cuvier (1769-1832). Richards (2000, 2002) and Zammito (2006, 2012, 2018) have argued that Kant’s philosophy provided an obstacle for the project of establishing biology as a proper science around 1800. By contrast, Russell (1916), Outram (1986), and Huneman (2006, 2008) have argued, similar to suggestions from Lenoir (1989), that Kant’s philosophy influenced the influential naturalist Georges Cuvier. In this article, I wish to (...) expand on and further the work of Russell, Outram, and Huneman by adopting a novel perspective on Cuvier and considering (a) the similar conceptions of proper science and explanation of Kant and Cuvier, and (b) the similar conceptions of the role of teleology and analogy in the works of Kant and Cuvier. The similarities between Kant and Cuvier show, contrary to the interpretation of Richards and Zammito, that some of Kant’s philosophical ideas, whether they derived from him or not, were fruitfully applied by some life scientists who wished to transform life sciences into proper sciences around 1800. However, I also show that Cuvier, in contrast to Kant, had a workable strategy for transforming the life sciences into proper sciences, and that he departed from Kant’s philosophy of science in crucial respects. (shrink)

Using the theory of exact completions, I construct a certain class of pretoposes, consisting of what one might call “predicative realizability toposes”, that can act as categorical models of certain predicative type theories, including Martin-Löf Type Theory.

This article argues that the social constructivist paradigm falls into the same dualistic trap as biological essentialism when attempting to respond to questions of gender and sexuality. I argue that social constructivism, like biological determinism, presumes a ‘split’ world, where subjective lived experiences are separated from the world of socio-cultural forces. Following a phenomenological approach, grounded in Merleau-Ponty’s ontological view of the body, this article attempts to move beyond the dualistic metadiscourses of social constructivism in maintaining that identity is a (...) fully embodied process. I see gender and sexuality as necessarily embodied and corporeally constituted. In the light of this, I propose an understanding of gender and sexuality that focuses on the centrality of the body as open project. This approach sees gender and sexuality as embodied processes that are enmeshed with the complex fabric of lived everyday experiences and concurrent socio-cultural and historical processes. Drawing on real-life examples, I conclude that gender and sexual embodiment are not one-dimensional according to a binary system of male versus female. Rather, given the documented experience of the indeterminacy and ambiguity of human existence, there are a variety of possible embodiments of humankind. (shrink)

There seems to be an overall agreement that parents qua parents are, almost by definition, in need of support and hence that there is always a ‘parental deficit’. In order to help parents out many initiatives are taken, predominantly drawing from a technical conception of parenting. This particular conception defines the deficit as a shortage of practical and theoretical knowledge, and conceives of the predicament of parenting or upbringing as something that can be successfully dealt with. Two criticisms are developed (...) in this article. First, this conception of parenting is exposed as a ‘frictionless fiction’ that makes a very strong appeal to many of us, inhabitants of late modern Western societies, perhaps because it promises answers where there are none to be given. Second, a different conception of the parental deficit is developed following Ramaekers and Suissa who spelled out a parental hermeneutical-existential deficit drawing upon Cavell. This specific kind of deficit picks out another kind of support. I develop this alternative by sketching a figure of strong engagement that provides parent support. (shrink)